Discovering Architectures from Running Systems using Colored Petri Nets
نویسندگان
چکیده
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique that uses run time observations about an executing system to construct an architectural view of the system. In this technique we develop mappings that exploit regularities in system implementation and architectural style. These mappings describe how low-level system events can be interpreted as more abstract architectural operations, and are formally defined using Colored Petri Nets. In this paper we describe a system, called DiscoTect, that uses these mappings, and we introduce the DiscoSTEP mapping language and its formal definition in terms of Colored Petri Nets. Two case studies showing the application of DiscoTect suggest that the tool is practical to apply to legacy systems and can dynamically verify conformance to a pre-existing architectural specification.
منابع مشابه
Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملDiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique that uses run time observations about an executing system to construct an architectural view of the system. In this technique we develop mappings that exploit regularities in system implementation and architectural styl...
متن کاملAnalysis of effectiveness of communication overheads in the parallel computing system using stochastic colored petri nets
In architectures of parallel computing system, which has a large number of processing nodes, communication overhead is an important metric to evaluate and minimize by improving computation speedup solutions. In this paper, we propose using Stochastic Colored Petri Net to give models of parallel computing multi-processing systems for analyzing and evaluating effectiveness of communication overhe...
متن کامل